Abstract model theory - PDFSEARCH.IO - Document Search Engine

Abstract model theory
Results: 937

#	Item
631	A Markovian Extension of Valiant’s Learning Model (Extended Abstract) Umesh Vazirani t U.C.Berkeley David Aldous * Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2005-06-09 20:48:35 Stochastic processes Markov chain Random walk SL Randomized algorithm Loop-erased random walk Theoretical computer science Graph theory Mathematics
632	1 Efficient Prediction of Difficult Keyword Queries over Databases Shiwen Cheng, Arash Termehchy, and Vagelis Hristidis Abstract—Keyword queries on databases provide easy access to data, but often suffer from low rank Add to Reading List Source URL: www.cs.ucr.edu Language: English - Date: 2013-08-01 22:54:50 Data Database management systems Query languages Relational model Database XML-Retrieval SQL Query Entity–attribute–value model Data management Computing Database theory
633	Work Zone Lane Closure Analysis Model By Dr. Robert G. Batson (Principal Investigator), Dr. Daniel S. Turner, Dr. Paul S. Ray, Ms. Mengxiao Wang, Ms. Ping Wang, Mr. Randy Fincher, and Mr. Jon Lanctot Department of Civil Add to Reading List Source URL: ntl.bts.gov Language: English - Date: 2012-06-27 16:56:26 Markov models Probability and statistics Network performance Operations research Queueing theory Spreadsheet Business Queue Statistics Stochastic processes Abstract data types
634	Ontology Languages and Web Standards Relating Ontology Languages and Web Standards Dieter Fensel Abstract Add to Reading List Source URL: xml.coverpages.org Language: English - Date: 2000-11-25 17:17:02 Predicate logic Ontology Model theory Logical syntax Ontology language CycL First-order logic Function Cyc Logic Mathematics Mathematical logic
635	The Application of Statistical Relational Learning to a Database of Criminal and Terrorist Activity∗ B. Delaney†, A. Fast‡, W. Campbell† , C. Weinstein† , D. Jensen‡ Abstract We apply statistical relational l Add to Reading List Source URL: datamininglab.com Language: English Statistics Computing Relational model Database management systems Relational database Data mining Statistical relational learning Relation Database Data management Database theory Machine learning
636	L OOPFROG — loop summarization for static analysis Daniel Kroening Oxford University Comp. Lab., UK Aliaksei Tsitovich University of Lugano, Switzerland Add to Reading List Source URL: www.winterstiger.at Language: English - Date: 2011-03-25 19:46:35 Computing Nonassociative algebra Loop invariant Abstract interpretation Group theory Invariant For loop Model checking Infinite loop Software engineering Control flow Computer programming
637	OBSERVATIONS AND THEIR ASSIMILATION IN GLOBAL TO CONVECTIVE SCALE MODELS Authors: Roger Saunders (Met Office) and Ron Gelaro (NASA/GSFC) + ? ABSTRACT The accuracy of NWP model forecasts continues to improve. Important co Add to Reading List Source URL: wwosc2014.org Language: English - Date: 2014-08-25 09:18:07 Statistical forecasting Control theory Data assimilation Estimation theory Numerical weather prediction Weather forecasting TAMDAR Quantitative precipitation forecast Meteorological reanalysis Atmospheric sciences Meteorology Weather prediction
638	Model Selection in the Presence of Incidental Parameters∗ Yoonseok Lee† University of Michigan October[removed]Abstract Add to Reading List Source URL: www.albany.edu Language: English - Date: 2013-01-24 13:51:01 Statistical inference Statistical theory Bayesian inference Bayesian information criterion Maximum likelihood Akaike information criterion Likelihood function Fisher information Bayes factor Statistics Estimation theory Model selection
639	Loop Summarization using Abstract Transformers⋆ Daniel Kroening1 , Natasha Sharygina2,5 , Stefano Tonetta3 , Aliaksei Tsitovich2 , and Christoph M. Wintersteiger4 1 Add to Reading List Source URL: www.winterstiger.at Language: English - Date: 2008-07-30 04:22:35 Functions and mappings Logic Function Interpretation Symbol Representation theory Limit Μ operator Mathematics Mathematical logic Model theory
640	September 29-30, 2014. Valencia, Spain. co-located with MODELS ORGANIZING COMMITTEE Program Co-Chairs: • Daniel Amyot, Add to Reading List Source URL: sdl-forum.org Language: English - Date: 2014-01-29 20:29:49 Specification and Description Language TTCN Algorithmic Number Theory Symposium Computing Message Sequence Chart Lecture Notes in Computer Science Model-driven engineering Abstract Syntax Notation One Software engineering Diagrams Science Unified Modeling Language

UPDATE